#!/bin/sh

# Just echos the release number
echo "0.7.0.x"
exit 0
